基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

基于偏振光的导航技术研究

利用偏振光进行导航源于对生物的研究,人类在仿生研究基础上开展了基于偏振光的导航技术研究.介绍了偏振光的产生机理、仿生研究成果以及偏振导航传感器和导航技术研究成果,指出利用偏振光组合导航的方式可以大大提高系统性能,具有广阔的应用领域.     

高速公路隧道照明节能设计

高速公路隧道照明是确保行车安全的重要环节.随着公路隧道通车里程的快速增加,照明费用已成为营运单位的巨大负担.从高速公路隧道对照明效果的具体要求出发,对高速公路隧道照明的节能问题进行了探讨,提出具体节能设计措施与途径,主要包括洞口亮度的节能调整、洞内照明分段照度的优化设定、设计中供电线路的节能措施、节能灯具的选取、智能化...     

XNAV中的相对论效应(II)——光线弯曲和引力延缓

详细讨论了XNAV基本方程中的广义相对论效应之一:脉冲星到观测者的光线弯曲和传播时间的引力延缓。计算出1PN度规下的光线弯曲轨迹和时间延缓以及2PN度规下的引力延缓,文中得到的结论是对现行公式的修正。     

滚动轴承含噪声谐波信号的欠确定盲源分离方法研究

目前使用的大多数盲源分离方法都依赖于观测传感器数量大于或等于信号源数目这样一个基本假设。算法主要针对传感器数量m小于源信号数量n(欠确定)情况下旋转机械含噪声谐波信号的盲源分离问题展开研究。它在输入信号频域稀疏性假设和源信号之间线性混合假设的前提下,提出了一种势函数聚类的源数目估计方法,并对通道衰减和延时进行了计算。实验信号仿真结果证明了该方法的可行性和可靠性。     

基于小波变换的直升机声目标识别

综述了小波变换的原理和性质以及它在直升机声目标识别当中的应用。主要论述了利用小波变换进行信号分解与滤波、目标特征提取等方面的应用,最后给出了计算机模拟仿真结果。结果表明,利用信噪分离方法和目标特征提取方法可以在低信噪比情况下准确识别目标。     

单摄像机三维视觉技术

本文针对装配机器人的实际应用情况,提出了一种利用激光结构光提供的空间几何信息和图象中包含的物体表面与物体形状的信息来综合分析与提取空间物体的三维信息的方法。该方法已经实际应用于GKD-1型机器人视觉系统中。     

两道同侧扫掠激波作用下形成的三维平板边界层

为探索一种减弱扫掠激波/边界层干扰强度的侧压方式,采用数值计算方法研究两道同侧扫掠激波作用下形成的三维平板边界层。对三维边界层的流动机理进行研究,并与相同气流偏转角的一道扫掠激波作用下形成的三维边界层进行定量比较。研究表明,存在两道同侧扫掠激波时,第一道扫掠激波使侧壁附近边界层变薄,进而使第二道扫掠激波与再附形成的边界层的相互作用减弱,从而总的效果是两道扫掠激波与边界层的相互作用强度比一道扫掠激波的弱;两道扫掠激波的气流总偏转角与一道扫掠激波的相同,相交后汇聚成的激波强度与一道扫掠激波的基本相同,之前被两道扫掠激波"扫"起来的边界层在汇聚激波作用下还呈现锥形流动,分离线和来流的夹角也与一道扫掠激波的基本相同。     

相同高度两相邻建筑防火间距设计

防火间距设计是建筑工程消防安全设计中很重要的一项内容。通过相同高度两相邻民用建筑防火间距设计工程实例，结合国家现行《建筑设计防火规范》中的有关规定，探讨了《建筑设计防火规范》对相同高度两相邻建筑防火间距设计要求方面存在的问题。     

采用区分性幅相联合字典学习的低截获概率信号分离方法

为解决采用字典学习的信号分离方法存在的相位信息缺失和子字典交叉表示问题，提出一种区分性幅相联合字典学习方法。该方法针对相位信息缺失问题，构建了幅相联合字典模型；针对混合信号在联合字典上投影时存在的交叉表示问题，基于区分性字典学习思想提出在字典学习过程目标函数中加入交叉表示抑制项。仿真结果表明：幅相联合字典能够充分表示典型低截获概率信号的幅相信息，交叉表示抑制项能有效抑制信号间的交叉表示，算法具有良好的分离性能。